Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
161	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Mathematical logic Automated theorem proving Mathematics Formal methods Logic in computer science Constraint programming Electronic design automation Conflict-Driven Clause Learning DPLL algorithm Boolean satisfiability problem Satisfiability modulo theories
162	Event-B & Cloud Provers A. Iliasov D. Adjepon-Yamoah P. Stankaitis Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Software Theoretical computer science Formal methods Logic in computer science Automated theorem proving Constraint programming Predicate logic Frama-C Satisfiability modulo theories TPTP Mereology SPASS
163	Capturing Proof Process Andrius Velykis A thesis submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-07-12 08:18:06 Automated theorem proving Formal methods Theoretical computer science Proof theory Logic in computer science Mathematical proof Proof assistant Isabelle Theorem Proof Formal verification
164	LNCSA Tutorial on Satisfiability Modulo Theories Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Mathematical logic Mathematics Constraint programming Automated theorem proving Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem DPLL algorithm Symbol Conjunctive normal form
165	Developing Corpus-based Translation Methods between Informal and Formal Mathematics Cezary Kaliszyk (supported by FWF grant P26201), Josef Urban, Jiˇr´ı Vyskoˇcil, Herman Geuvers Goal Add to Reading List Source URL: mws.cs.ru.nl Language: English - Date: 2014-07-28 07:40:40 Mathematics Automated theorem proving Theoretical computer science Logic Formal methods Artificial intelligence Automated reasoning Reasoning Mathematical proof Theorem Mizar Parsing
166	Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes Ilya Sergey Draft of August 19, 2015 Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Mathematical logic Theoretical computer science Mathematics Type theory Logic in computer science Automated theorem proving Formal methods Coq Automated reasoning Proof assistant Separation logic Functional programming
167	Can the computer really help us to prove theorems? Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-11-17 12:13:56 Proof assistants Automated theorem proving Logic in computer science Type theory Automath Logic for Computable Functions Nqthm Proof theory ACL2 Mathematical proof Andrzej Trybulec Isabelle
168	Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals Kazutaka Matsuda Tohoku University Add to Reading List Source URL: www2.sf.ecei.tohoku.ac.jp Language: English - Date: 2013-05-31 02:47:36 Mathematics Special functions Declarative programming Automated theorem proving Logic programming Data types Functional programming Logical truth Substitution Cons Exponentiation Inverse trigonometric functions
169	Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS ∗ Feng Niu Add to Reading List Source URL: www.cs.stanford.edu Language: English - Date: 2013-07-22 00:25:35 Constraint programming Automated theorem proving Theoretical computer science Mathematics Mathematical logic Markov logic network WalkSAT Graph partition Nibbles Local search Resolution Alchemy
170	Best-First Rippling Moa Johansson, Alan Bundy and Lucas Dixon 1 School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-10 06:07:20 Automated theorem proving Mathematics Theoretical computer science Search algorithms Heuristics Rippling Logic IsaPlanner Formal languages Logic in computer science A* search algorithm Mathematical proof

UPDATE